Ada软件的动态测试技术研究

为改善软件质量，对Ａｄａ软件的动态测试技术进行了研究，并且就以下内容着重进行了讨论；Ａｄａ软件的分析与理解；Ａｄａ软件的动态测试原则与方法；Ａｄａ软件的动态测试工具ＡＳＤＴ。     

Java程序度量工具的实现及案例分析

介绍了面向对象度量技术,给出针对Java语言的McCabe,Halstead和WMC复杂度的定义,提出了一种新的面向Java语言的度量工具的实现方法,并且通过实例分析说明利用该工具度量Java程序,某些度量值高的模块逻辑复杂、工作量大、易错且难维护,从而引导测试人员重点测试这些模块,同时也使开发人员关注它们,仔细检查程序逻辑,进行合理优化,使整个程序的复杂度降低.确凿实验数据表明,软件度量对改进软件质量具有很大实用价值.本工具采用以下度量标准度量Java程序:针对继承复杂性的DIT(Depth of Inheritance Tree)和NOC(Number Of Children)复杂度;针对模块复杂性的McCabe度量法、Halstead软件科学度量和WMC(Weighted Methods per Class)复杂度;针对类间耦合性、聚集性的RFC(Response for a Class)度量法.每种复杂度从不同方面、不同层次度量Java程序,从而有效全面的评价软件质量,揭示可能隐藏的错误.     

用CBN刀具高速切削灰铸铁的试验研究

研究了CBN刀具高速切削灰铸铁时的刀具前、后刀面磨损、耐用度以及富氧气氛对切削性能的影响,所用的灰铸铁具有不同的铁素体、珠光体比例,最高切削速度达1＇100 m/min.研究表明Amborite刀具的刀尖磨损略大于BZN6000刀具,在较低速度下加工以铁素体为主的灰铸铁时更容易发生月牙洼磨损;BZN6000刀具以700 m/min的切削速度加工铁素体含量较高的灰铸铁时耐用度较高,Amborite刀具的耐用度随切削速度而升高;在富氧气氛中切削可以减轻刀具磨损,这一效果对BZN6000刀具更为显著.文章中对这些现象的原因进行了讨论.     

微小刀具同轴全息对刀方法研究

针对现有对刀方法存在的各种不足,提出了一种微小刀具的同轴全息对刀方法。在对全息成像原理和全息图像关键问题进行研究与分析的基础上,搭建了一套微细铣刀的全息对刀检测装置,并利用标准刀具在五轴加工中心进行了微细铣刀的对刀测量试验。试验结果表明:该对刀装置能够高效地进行微细铣刀的对刀检测,系统相对检测精度达5.1μm。在相同检测条件下,与高精度机外预调仪的测量结果相比,接触式对刀仪的相对误差为0.033%,而全息对刀样机的相对误差为0.007%,后者更能有效地实现微小刀具的对刀检测。该结果验证了微小刀具的同轴全息对刀方法的可行性,即全息测量可用于微细铣刀的高精度对刀。     

PCD刀具高速铣削TA15钛合金切削力的研究

通过利用回归正交设计和单因素试验设计方案,进行了PCD刀具高速铣削钛合金TA15的切削力试验.对高速加工过程中的动态铣削力进行了频谱分析,分析了高频振动对切刺力波形的影响.然后利用单因素试验分析了工件坐标系中三向分力以及刀具坐标系中切向分力随切削用量的变化规律.通过回归正交设计,建立了PCD刀具高速铣削钦合金时切削用量与动态切削力之间的数学模型,并进行了方差分析,验证了模型的可靠度.分析结果为PCD刀具高速铣削钛合全的工艺参数优化及建立高速铣削数据库奠定了基础.     

基于基元关系模型的C++程序静态分析器

分析了面向对象软件测试和度量的特点,结合面向对象程序的性质提出了描述程序基本组成元素之间关系的基元关系模型(ERM),介绍了从基于MFC(Microsoft Foundation Class)的Visual C+ +6.0源程序中构造ERM模型的算法,据此构造了一个基于基元关系模型的VC+ +6.0程序静态分析器.对分析器实现中采取的名称空间符号表、增量式开发和增量式分析等关键技术进行了介绍.实践证明,该分析器可以高效正确地提取出模型中描述的各种关系,有助于面向对象软件测试和度量方面的进一步研究.      

Gram-Schmidt回归及在刀具磨损预报中的应用

多元线性回归是一种应用广泛的统计分析方法.在实际应用中,当自变量集合存在严重多重相关性时,普通最小二乘方法就会失效.为解决这一问题,利用Gram-Schmidt 正交变换,提出一种新的多元线性回归建模方法——Gram-Schmidt回归.该方法可实现多元线性回归中的变量筛选,同时也解决了自变量多重相关条件下的有效建模问题.将该方法应用于机械加工过程中刀具磨损的预报分析,有效地进行了变量筛选,并得到了解释性强同时拟合优度也很高的模型结果.      

刀具变形引起的球头铣刀加工误差建模

针对数控加工中刀具变形引起的加工误差问题,以球头刀具为研究对象,通过建立球头刀具铣削力模型和刀具受力引起的变形模型.对球头刀具变形引起的加工误差进行研究,建立球头铣刀刀具变形引起的加工误差仿真预测模型;在数控加工几何仿真和铣削力仿真的基础上开发了球头铣刀刀具变形引起的加工误差仿真预测功能,并集成到数控加工仿真系统中用于刀具变形引起的加工误差预测.加工验证实验表明所提出的球头铣刀刀具变形引起的加工误差模型预测的可靠性.     

Hermite算法的收敛性分析及其改进

为了提高多点切触加工算法的计算效率,对其中的Hermite算法进行了改进,并且对改进后的Hermite算法的收敛性进行了理论分析,推导了改进后算法的局部收敛条件,同时给出算法的Steffensen加速迭代公式并新提出了一种基于试算的待定系数迭代法.分析和实例表明,改进后的Hermite算法属于线性收敛的算法,而待定系数迭代法则有接近二阶的收敛速度.综合应用上述算法,可以满足一般性自由曲面多点切触加工刀位计算的要求.      

多点切触加工中的局部干涉分析

为了消除多点切触加工刀位计算的局部干涉,通过对中凹端铣刀和工件曲面之间的几何接触状况分析,得到了多点切触加工算法的局部干涉判别条件.利用微分几何得到了多点切触加工刀位中刀具和工件的交线在第一切触点处的曲率半径和刀具曲率半径的比值,结合局部干涉判别条件,得到无干涉的多点切触加工约束的解区域.结果表明无论曲面为何种样式,必须选择第二切触点在曲率较大的主方向附近的解区域中,再使用多点切触加工算法算出的刀位,才有可能不发生过切现象.